1. Formal correctness of security protocols
پدیدآورنده: Bella, Giampaolo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer security,، Computers-- Access control,، Cryptography,، Computer networks-- Security measures
رده :
QA
76
.
9
.
A25
.
B44
2007
2. Formal correctness of security protocols
پدیدآورنده: Bella, Giampaolo.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Artificial intelligence,، Computer security,Access control ، Computers
رده :
QA
76
.
9
.
A25
.
B44
3. Formal correctness of security protocols
پدیدآورنده: / Giampaolo Bella
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer networks -- Security measures
رده :
TK
5105
.
59
.
B45
2007
4. Formal correctness of security protocols
پدیدآورنده: Bella, Giampaolo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer security,Access control ، Computers
رده :
QA
76
.
9
.
A25
B45
